1. Kowalski was one of the developers of Abductive Logic Programming, in which logic programs are augmented with integrity constraints and with undefined, abducible predicates.

Ковальский был одним из первых разработчиков абдуктивной логики программирования, где логические программы дополнены ограничениями целостности и с неопределенными, абдуктивними предикатами.

2. ABC obtains a loan (predicated on the value of, and secured by, substantially all of the assets of the business being acquired) from Lender C to finance such acquisition.

АВС получает ссуду (размер которой определяется и обеспечивается стоимостью практически всех активов приобретаемого предприятия) от ссудодателя С для финансирования такого приобретения.